Rewolucyjny dowód matematyczny doczeka się publikacji po 8 latach analiz
3 kwietnia 2020, 10:53Przed ośmiu laty ze świata matematyki nadeszła sensacyjna wiadomość – pojawił się dowód na prawdziwość hipotezy ABC. Jeśli jest on prawdziwy, to mamy do czynienia z największym osiągnięciem matematycznym bieżącego wieku. Autor dowodu, Shinichi Mochizuki z Uniwersytetu w Kioto, udostępnił olbrzymią 600-stronicową pracę na ten temat. I musiał czekać aż 8 lat nim ktokolwiek był w stanie ją przeanalizować.
Wciąż trwają analizy dowodu Mochizukiego
1 sierpnia 2016, 10:49Przed czterema laty Shinichi Mochizuki opublikował 500-stronicowy dowód matematyczny na prawdziwość hipotezy ABC. Jeśli dowód jest prawdziwy, to mamy do czynienia z największym osiągnięciem matematyki XXI wieku. Problem w tym, że nikt nie potrafi zrozumieć pracy Mochizukiego.
Oprogramowania idealne
17 sierpnia 2009, 11:48Australijska organizacja NICTA ogłosiła powstanie pierwszego w historii jądra systemu operacyjnego, które nie tylko zostało w całości matematycznie opisane, ale również przeprowadzono matematyczne dowody na to, iż każda z linii kodu jest w pełni zgodna ze specyfikacją.
Silnik rakietowy z rotującą detonacją (RDRE) przyszłością lotów kosmicznych?
28 lutego 2020, 12:39Wyniesienie ładunku w przestrzeń kosmiczną wymaga olbrzymich ilości paliwa. Loty pozaziemskie są przez to niezwykle kosztowne. Jednak nowy rodzaj silnika, zwanego silnikiem rakietowy z rotującą detonacją (RDRE – rotating detonation engine), może spowodować, że rakiety nie tylko będą zużywały mniej paliwa, ale będą też lżejsze i mniej skomplikowane.
Lek czy narkotyk? Pierwszy dowód na używanie lulka czarnego w świecie rzymskim
9 lutego 2024, 16:49Setki nasion lulka czarnego znalezionych w wydrążonej kości odkrytej w Houten-Castellum w Holandii to pierwszy jednoznaczny dowód na używanie tej rośliny w świecie rzymskim. Silnie trujący lulek znany był w starożytności nie tylko ze względu na zabójcze działanie, ale również dzięki właściwościom halucynogennym i uspokajającym. Jego stosowanie zalecali starożytni autorzy. Dotychczas nie było całkowitej pewności, czy nasiona znajdowane na stanowiskach z okresu rzymskiego trafiły tam przypadkiem czy celowo. Dopiero zmagazynowanie nasion w wydrążonej kości stanowi fizyczny dowód jego używania.
Ludzkie zęby sprzed 100 000 lat
15 października 2015, 09:34Zęby znalezione w jednej z jaskiń na południu Chin wskazują, że Homo sapiens dotarł na tereny obecnego Państwa Środka już 100 000 lat temu. Dotychczas większość naukowców uważała, że w tym czasie nasz gatunek nie oddalił się zbytnio od Afryki. To jedno z najważniejszych odkryć w Azji w ostatniej dekadzie - mówi archeolog Michael Petraglia z University of Oxford, który nie brał udziału w badaniach.
Najdłuższy dowód matematyczny w historii
1 czerwca 2016, 09:33Marijn Heule z University of Texas, Oliver Kullmann ze Swansea University oraz Victor Marek z University of Kentucky - były pracownik Uniwersytetu Warszawskiego, a obecny współpracownik Instytutu Podstaw Informatyki PAN - użyli superkomputera do przeprowadzenia pojedynczego matematycznego dowodu, uzyskując w ten sposób największy matematyczny dowód w historii. Jego zapisanie zajęło 200 terabajtów przestrzeni dyskowej.
Ciemna materia wzięła się z cząstek podobnych do fotonów? Nowa interesująca hipoteza
21 maja 2025, 07:36Ciemna materia, hipotetyczna materia, która ma stanowić 85% masy kosmosu, wciąż nie została znaleziona. Nie wiemy, z czego się składa, a przekonanie o jej istnieniu pochodzi z obserwacji efektów grawitacyjnych, których obecności nie można wyjaśnić zwykłą materią. Dlatego też co jakiś czas pojawiają się hipotezy opisujące, z czego może składać się ciemna materia. Jedną z nich przedstawili właśnie na lamach Physical Review Letters dwaj uczeni z Dartmouth College. Ich zdaniem ciemna materia może być zbudowana z niemal bezmasowych relatywistycznych cząstek, podobnych do światła, które w wyniku zderzeń utworzyły pary, straciły energię, a zyskały olbrzymią masę.
Komputer zmierzy ostrość chili
12 sierpnia 2007, 08:24Zespół chemików opracował matematyczny model komputerowy służący do pomiaru... ostrości papryczek chili. Pozwoli to na szybsze i tańsze niż dotychczas uzyskanie takich informacji.
Zagrożenie większe niż sądzimy?
7 lipca 2008, 11:15Matematyczny model używany do szacowania ryzyka wyginięcia danego gatunku powoduje, że ryzyko zagłady może być nawet 100-krotnie niedoszacowane, twierdzi profesor Brett Melbourne z University of Colorado w Boulder.
« poprzednia strona następna strona » 1 2 3 4 5 6 7 …
